$\forall$$x$:Id, $t$:Type, $v$:$t$. $x$ : $t$ initially $x$ = $v$ $\in$ MsgA